swift-developers-japan
main / swift-2
話題が複数あるときの待避所
Promise みたいに非同期処理とエラー処理をまとめて扱うような設計が嫌いで、非同期処理なら非同期処理、エラー処理ならエラー処理と責務を分解しておくべきだと考えて、エラー処理を含まない Promise ↓を作ってました。 https://github.com/koher/PromiseK/tree/dev-3.0
だからな
1
Swift >>- で検索したら、一つ目は https://www.apple.com/jp/swift/ だけど、二つ目は typelift/Operadics で、三つ目は thoughtbot/Runes だった。
swift package init したときに面倒
1
litはテキストファイルならなんでも良いので、.mdにテストを書いたりできるのが面白いと思った。 https://github.com/apple/swift-integration-tests/blob/master/swift-package-init-exec.md QuickSpec が（間接的に） XCTestCase を継承してるのか。 https://github.com/Quick/Quick/blob/cd89737d3d5306124e91c357b66cde274a3269b4/Sources/Quick/QuickSpec.swift#L13
XCTestCase を継承してる https://github.com/Quick/Quick/blob/cd89737d3d5306124e91c357b66cde274a3269b4/Sources/QuickSpecBase/include/QuickSpecBase.h#L8 
Remove testDependencies from PackageDescription This feature was supposed to support dependencies only for the root package but at some point it stopped working however the API still remained open. This patch removes the public API. This is a valid and desired feature which is supposed to come back after it goes through proper review on swift evolution.
https://github.com/apple/swift-package-manager/commit/34b7826cb586b0769ea5f60a7718d7de599ce27f
> SWIFTPM_TEST_Carthage ああこれはSPMが定義してくれるのか。 Makefileで実行するときに設定してます。 https://github.com/Carthage/Carthage/blob/master/Makefile#L82
#lineを使うってこれのことですか。 http://masilotti.com/xctest-helpers/ そもそもrecordFailureの存在を知らなくてログに行番号出るだけじゃ分かりにくいとか思っていました。
recordFailure() ではなく XCTFail() を使ってました。 https://github.com/realm/SwiftLint/blob/master/Tests/SwiftLintFrameworkTests/IntegrationTests.swift#L35
\ を使う感じで。 https://github.com/apple/swift-evolution/blob/master/proposals/0182-newline-escape-in-strings.md 
struct でもサイズが大きいと勝手に最適化されたりするんでしょうか？どこかで触れられてましたっけ？ https://developer.apple.com/videos/play/wwdc2017/402/
int の書き込みは atomic で同時なんてないんじゃないの？ Q4. 基本型intはスレッドセーフですか？ A4. 「同時アクセスが全て読み込み操作であれば安全」というスレッドセーフ性レベルが保証される。
http://yohhoy.hatenablog.jp/entry/2013/12/15/204116
// 1.swift protocol Hogeable { func hoge() -> Int } struct HogeCat: Hogeable { func hoge() -> Int { return 1111 } } func callHogeableHoge(hogeable: Hogeable) -> Int { return hogeable.hoge() } func callCatHoge(cat: HogeCat) -> Int { return callHogeableHoge(cat) } print(callCatHoge(HogeCat())) 
std::atomic で実現されてました。 struct HeapObject に フィールド InlineRefCounts refCounts がある。 https://github.com/apple/swift/blob/b7d78853112c1279fc7bc5b85853779040f13703/stdlib/public/SwiftShims/HeapObject.h InlineRefCounts は RefCounts<InlineRefCountBits> のエイリアス class RefCounts<T> は フィールド std::atomic<T> を持ってる。 デクリメント処理はなんかいろいろあるけど doDecrement が基本的なやつっぽくて、 分岐もいろいろ複雑なんだけどstd::atomicのcompare_exchange_weakを呼び出してたりする。 InlineRefCountBits は RefCountBitsT<RefCountIsInline> のエイリアス RefCountIsInline は true な定数 RefCountBitsTはカウンタに加えて動作に関するビットが5こぐらいくっついたよくわからんやつ。 https://github.com/apple/swift/blob/b7d78853112c1279fc7bc5b85853779040f13703/stdlib/public/SwiftShims/RefCount.h
️ DO NOT MERGE ️ This is the bare minimum to get the frontend to accept shared and owned. @guaranteed semantics and inout-to-borrowed conversions are coming next.
Swift Static Analysis@Apple Cupertino, CA
https://twitter.com/CodaFi_
1
swift-4.0-branch-07-11-2017 https://github.com/apple/swift/tree/swift-4.0-branch-07-11-2017 みたいなブランチからビルドされてたぽいだけど、beta 5はどこからビルドされているのだろう？ 
can of worms って出てきてなんだ？と思ったら↓のような意味の表現らしい。 
は何？
=COWはわかったけど。 
reasync について送ってみた。 https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20170814/038917.html
2nonblock 相当か。 https://gist.github.com/koher/3e04b4f1b8adbbf0379d38c0ad83a3ea
More generally, by modeling both `throws` and `async` as effects on function types, we can eventually provide common abstraction tools to abstract over both effects in protocols and generic code
https://gist.github.com/lattner/429b9070918248274f25b714dcfc7619#rethrows-could-be-generalized-to-support-potentially-async-operations
1
async/await の Proposal と同じような内容が話されてる。 https://gist.github.com/koher/5cd16adac7a62b6d3eb0b910ccc13534 MyArrayとMyArray2なんですが、同じテストコードでモジュール外にあるMyArrayの方が数百倍遅くて原因が分かりません。 モジュールまたぐ時ってwhole module optimization以外何かありましたっけ？
self[0..<nBytes]ってやってるからw https://github.com/apple/swift/blob/master/stdlib/public/SDK/Foundation/Data.swift#L1773 
(hoge.foo, hoge.bar) = (12, 13) これもだめ 
var teamToCount: [String: Int] = [:] for user in users { let team = user.team if let count = teamToCount[team] { teamToCount[team] = count + 1 } else { teamToCount[team] = 1 } } を、もし inout 版の => があれば reduce(into:_:) を使わなくても let teamToCount: [String: Int] = [:] => { teamToCount in for user in users { teamToCount[user.team, default: 0] += 1 } } って書けそうだなぁと。 
1
1
なきがする
JSONEncoderとかのCoderで特別扱いされるURLの側で「JSONEncoderだったら辞書表現をやめる」みたいな力技で対応されていました。 https://github.com/apple/swift/pull/10766 
import Foundation class A: Encodable { let f1: String init(f1: String) { self.f1 = f1 } } class B: A { let f2: String init(f1: String, f2: String) { self.f2 = f2 super.init(f1: f1) } } let b = B(f1: "f1", f2: "f2") let x = try JSONEncoder().encode(b) String(data: x, encoding: .utf8) // -> { "f1": "f1" } 
1OptionalだとencodeIfPresent(_:forKey:)が使われるコードが生成される。これをencode(_:forKey:)を使うコードを自分で書けばnullが使われる。 https://github.com/apple/swift/blob/master/lib/Sema/DerivedConformanceCodable.cpp#L623-L624 
{ "objects": [ { "key": 1, "value": "foo" }, { "key": null, "value": "bar" } ] } で、 struct Object: Codable { let key: Int? let value: String } 1
import Foundation struct Model<Base: Modelable> { var base: Base } protocol Modelable { var model: Model<Self> { get } } extension Modelable { var model: Model<Self> { return Model(base: self) } } struct Hoge: Codable, Modelable { fileprivate var int: Int fileprivate var url: String? } extension Model where Base == Hoge { var int: Int { return base.int } var url: URL? { return base.url.flatMap(URL.init) } } func x(hoge: Hoge) { hoge.model.url // URL? } よさそう
1
Mastodonを一般的Webサービスのレベルと同等に語るのは…
url.flatMap {URL(string: $0)} を都度書きたくない
このアプローチどうですかね /// デコードしたStringと、TypedなURLは纏めて独自型に押し込めるほうがいい struct RobustURL: Codable { let rawValue: String var typed: URL? { return URL(string: rawValue) } func encode(to encoder: Encoder) throws { var container = encoder.singleValueContainer() try container.encode(rawValue) } init(from decoder: Decoder) throws { rawValue = try decoder.singleValueContainer().decode(String.self) } } /// CoreGraphicに依存しない独自型 struct Size: Codable { let width: Double let height: Double } import CoreGraphics extension Size { var asCGSize: CGSize { return CGSize(width: width, height: height) } } struct Fuga: Codable { let url1: RobustURL // 不正なURLが来うることを型として示せる let url2: RobustURL // 不正なURLが来うることを型として示せる let url3: URL // 不正なURLが来ないことを型として示せる let size: Size } let data = """ { "url1": "https://failable.url", "url2": "不正なURL", "url3": "https://ensured.url", "size": { "width": 100, "height": 50 } } """.data(using: .utf8)! let fuga = try! JSONDecoder().decode(Fuga.self, from: data) fuga.url1.typed // https://failable.url fuga.url2.typed // nil fuga.url3 // https://ensured.url fuga.size.asCGSize // {w 100 h 50} let json = try! JSONEncoder().encode(fuga) print(String(data: json, encoding: .utf8)!) // {"size":{"width":100,"height":50},"url3":"https:\/\/ensured.url","url1":"https:\/\/failable.url","url2":"不正なURL"} 1:class つけなくてもその前提条件だとコンパイルはできるんだけど、 考慮せずぜんぶ func にしてるんだって自覚を表明するためにつけといたほうがマシかなって思ってる 1
; が付いてる
1
1let b: @convention(block) () -> Int = { 42 } b as AnyObject === b as AnyObject // true let c: AnyObject = b // ERROR
1
1import UIKit class MyScrollViewDelegate: NSObject, UIScrollViewDelegate { } let myScrollViewDelegate = MyScrollViewDelegate() let tableView = UITableView() let scrollView = tableView as UIScrollView scrollView.delegate = myScrollViewDelegate tableView.delegate is UITableViewDelegate // true myScrollViewDelegate === tableView.delegate // true myScrollViewDelegate is UITableViewDelegate // false Objc絡むととたんにやばくなるやつ
1
1 
import Foundation struct S<Wrapped> { var value: Wrapped } extension S: Codable where Wrapped: Codable { enum CodingKeys: String, CodingKey { case value } init(from decoder: Decoder) throws { let container = try decoder.container(keyedBy: CodingKeys.self) value = try container.decode(Wrapped.self, forKey: .value) } func encode(to encoder: Encoder) throws { var container = encoder.container(keyedBy: CodingKeys.self) try container.encode(value, forKey: .value) } } let s = S<Int>(value: 1) let encoder = JSONEncoder() let data = try encoder.encode(s) print(String(data: data, encoding: .utf8)!) // {"value":1} がswift-DEVELOPMENT-SNAPSHOT-2017-11-13-aで動いた。 2
1
typealias AnySequence<Element> = Any<Sequence where .Iterator.Element == Element>
https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#generalized-existentials remove()実装、1個づつmoveInitialize()してるけど、まとめて出来るはず。 https://qiita.com/omochimetaru/items/f32d81eaa4e9750293cd
1
SOFT HYPHEN(U+00AD) かな？ https://github.com/swift-script/swift-script/pull/18 Apple のドキュメントをコピペすると入ってる時がある。
@_specialize と言えば、昨日過去最多の @_specialize をつけました・・・。 https://github.com/koher/EasyImagy/blob/dev-0.4.0/Sources/EasyImagy/ImageSpecialized.swift#L2-L677
1
UITableView のセル数は概念として一般的な整数だと思うんですよね。ユースケースを考えたら 99% のケースではそれが Int32 に収まるとしても。 1Slice<T> is T みたいなサブタイピングが追加されそうな予感 Int も Int? のサブタイプにはなってなくて、↓はエラー。 9> let a: Int? = 42 a: Int? = 42 10> a.map { $0 * 2 } $R0: Int? = 84 11> let b: Int = 42 b: Int = 42 12> b.map { $0 * 2 } error: repl.swift:12:1: error: value of type 'Int' has no member 'map' b.map { $0 * 2 } ^ ~~~ 1
protocol<P1, P2> が Any<P1, P2> ではなく P1 & P2 に置き換えられちゃったみたいだけど、 generalized existential と整合がとれなくなっちゃってる気がするんだけどどうするんだろう・・・。 https://github.com/apple/swift-evolution/blob/master/proposals/0095-any-as-existential.md 4
4
Problems happen when someone who have posted mails to the ML in the past sign up using GitHub authentication. They hope to change their username, but cannot do it after once their accounts were created. I wish there were some additional explaination in the sign up screen, and to get a chance to change the username even if signup is done using github authentication. 1 1
let double: Double = 3.123456 // 3.123456 var dec1 = Decimal(double) // 3.123456000000000512 var dec2: Decimal = Decimal() NSDecimalRound(&dec2, &dec1, 4, .bankers) dec2 // 3.1235 隠蔽してみた
extension Decimal { func rounded(exponent: Int, roundingMode: RoundingMode = .bankers) -> Decimal { var me = self var result = Decimal() NSDecimalRound(&result, &me, exponent, .bankers) return result } } dec1 // 3.123456000000000512 dec1.rounded(exponent: 4) // 3.1235 fileprivate var __exponent: Int8 fileprivate var __lengthAndFlags: UInt8 fileprivate var __reserved: UInt16 public var _mantissa: (UInt16, UInt16, UInt16, UInt16, UInt16, UInt16, UInt16, UInt16) 160bit func truelyLeastDecimal() -> Decimal { var x = Decimal(string: "0.1")! var r = Decimal() NSDecimalPower(&r, &x, 128, .plain) return r } func p(_ d: Decimal) { print("=====") print(d) print(d._mantissa) print(d._exponent) } p(Decimal.leastNormalMagnitude) p(truelyLeastDecimal()) /* ===== 0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 (1, 0, 0, 0, 0, 0, 0, 0) -127 ===== 0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 (1, 0, 0, 0, 0, 0, 0, 0) -128 */ Decimalには定義みあたらないけど、NSDecimalNumberのexponentは CustomStringConvertible じゃないものでも文字列に埋め込めるの良くなくないですか？何でもとりあえず文字列にしたいニーズはあるとして、それはデバッグ用にそういう関数を用意すれば良いだけに思います。 https://qiita.com/koher/items/6c855ddbda8797af4605 1 1 IndexingIterator はわかんない。 1️ If you don't have something to report in the following format, it will probably be easier and faster to ask in the slack channel first. ️ ️ Please take you time to fill in the fields below. If...
enum E { case A(Int, String) case B(String, Float) } func foo(e: E) { switch e { case .A(_, let str): // something. fallthrough case .B(let str, _): print(str) } } これが通るようになるらしいです。 https://github.com/apple/swift/pull/14041/files#diff-3f455e97fae02f7b158f90077919c17fR140
が
> @dabrahams Sorry, I didn't read the string manifesto. > Hm, it seems that the string manifesto says "Swift string sorting will not be compatible with > Foundation sort order". > Is that correct with that understanding? Yes, non-localized String sorting will not work the same way in Swift as it does in Foundation. We intend to try very hard to keep localized sorting in sync, though. なんか詳細忘れちゃったな… 
···
1
inout で検索してもヒットしない・・・。 https://gist.github.com/lattner/429b9070918248274f25b714dcfc7619
* Implementation: [apple/swift#13361](https://github.com/apple/swift/pull/13361)
https://github.com/apple/swift-evolution/blob/master/proposals/0195-dynamic-member-lookup.md
After reflecting on the evolution process during both the Swift 3 and Swift 4 releases, the Core Team felt that we could strike a balance with not diluting attention from ABI stability while still enabling a broader range of proposals compared to Swift 4 by **requiring that all proposals have an implementation** before they are officially reviewed by the Core Team.
https://forums.swift.org/t/swift-5-start-your-engines/6456 
async/await 相当のことできないと辛くなって、 Promise 改造して↓を作ったけど、 https://github.com/koher/AsyncK asyncFor を作って、 break を () -> Never にできないか考えたけどダメだった。 func asyncFor<S: Sequence>(_ sequence: S, _ operation: @escaping (S.Element, _ break: @escaping () -> ()) -> Async<Void>) -> Async<Void>
https://github.com/koher/AsyncK/blob/master/Sources/AsyncK/Async.swift#L80 class 制約は AnyObject と同意になり、 class は deprecated です。 https://github.com/apple/swift-evolution/blob/master/proposals/0156-subclass-existentials.md#class-and-anyobject 1 2
1 
2
protocol Root {} protocol Foo : Root {} protocol Bar : Root {} protocol A { func accept<F : Foo>(_ foo: F) func accept<B : Bar>(_ bar: B) } extension A { func accept<F : Foo>(_ foo: F) { print("Foo: \(foo)") } func accept<B : Bar>(_ bar: B) { print("Bar: \(bar)") } } class B : A { func accept<R : Root>(_ root: R) { print("Root: \(root)") } } struct FooImpl : Foo {} struct BarImpl : Bar {} B().accept(FooImpl()) B().accept(BarImpl()) StringProtocol.hasPrefix(_:)が似た状況かも。 https://github.com/apple/swift/commit/f9b3e14137ac2f50e93aa2c1db28511e05f88e75
Double の Vector3 とか Vector4 を作ってたけど、仕事で Float にも対応したものがほしくなって、 ARKit の vector_float3 互換にもしたかったので、 gyb で色々生成してみた。（ついでにライブラリ名を SwiftyVector にリネーム） https://github.com/koher/SwiftyVector/blob/0.3.0/Sources/SwiftyVector/Concrete.swift.gyb 
1 
/Library/Frameworks にインストールされました。/System/Library/Frameworks 以下はそのままのようですね。 $ ls /Library/Frameworks/Python.framework/Versions 3.6 $ ls /System/Library/Frameworks/Python.framework/Versions 2.3 2.5 2.6 2.7 Current
1pyenvの場合 $ PYTHON_CONFIGURE_OPTS="--enable-framework" pyenv install 3.6.4 python-build: use openssl from homebrew python-build: use readline from homebrew Downloading Python-3.6.4.tar.xz... -> https://www.python.org/ftp/python/3.6.4/Python-3.6.4.tar.xz Installing Python-3.6.4... python-build: use readline from homebrew Installed Python-3.6.4 to /Users/norio/.pyenv/versions/3.6.4 208.44s user 58.92s system 162% cpu 2:44.55 total $ swift `python-config --ldflags` -I `python-config --prefix` Welcome to Apple Swift version 4.1 (swiftlang-902.0.48 clang-902.0.39.1). Type :help for assistance. 1> import Python 2> func execPy(_ code: String) { 3. Py_Initialize() 4. PyRun_SimpleStringFlags(code, nil) 5. Py_Finalize() 6. } 7> execPy("import sys\nprint(sys.version)") 3.6.4 (default, Apr 24 2018, 13:35:20) [GCC 4.2.1 Compatible Apple LLVM 9.1.0 (clang-902.0.39.1)] 8> 1
extension Collection { func indexed() -> [(Index, Element)] { return indices.map { ($0, self[$0]) } } } let a = [ 2, 3, 5, 7, 11, 13] var b = a[2...4] print(Array(b.indexed())) _ = b.popLast() b.append(11) print(Array(b.indexed())) _ = b.popFirst() b.insert(5, at: 3) print(Array(b.indexed()))
1extension Collection { func indexed() -> [(Index, Element)] { return indices.map { ($0, self[$0]) } } } let a = ["a", "b", "c", "d", "e", "f", "g"] var b = a[2...4] print(Array(b.indexed())) _ = b.popLast() b.append("e") print(Array(b.indexed())) _ = b.popFirst() b.insert("c", at: 3) print(Array(b.indexed())) 1func indexed<T>(_ slice: ArraySlice<T>) -> [(Int, T)] { return (0..<slice.count).map { (offset: Int) in (offset, slice[slice.startIndex + offset]) } } let a = ["a", "b", "c", "d", "e", "f", "g"] var b = a[2...4] print(indexed(b)) _ = b.popLast() b.append("h") print(indexed(b)) _ = b.popFirst() b.insert("i", at: 3) print(indexed(b)) 1class A { deinit { print("deinit") } } var x: ArraySlice<A> = [A(), A(), A()] print("A") x.removeFirst() print("B") x.removeFirst() print("C") x.removeFirst() print("D") 1class A { deinit { print("deinit") } } var x: ArraySlice<A> = [A(), A(), A()] print("A") x.removeFirst() x[2] = A() print("B") x.removeFirst() x[2] = A() print("C") x.removeFirst() print("D") 1class A { deinit { print("deinit") } } var x = [A(), A(), A()] print("A") x.removeLast() print("B") x.removeLast() print("C") x.removeLast() print("D") 1class A { deinit { print("deinit") } } var x: ArraySlice<A> = [A(), A(), A()] do { let y = x print("A") x.removeFirst() x[2] = A() print("B") x.removeFirst() x[2] = A() print("C") x.removeFirst() print("D") } print("E") 1class A : CustomStringConvertible{ let val: Int init(_ val: Int) { self.val = val } deinit { print("deinit: \(self)") } var description: String { return "A(\(val))" } } var x: ArraySlice<A> = [A(1), A(2), A(3)] do { let y = x print("A") x.removeFirst() x[2] = A(4) print("B") x.removeFirst() x[2] = A(5) print("C") x.removeFirst() print("D") } print("E") 1class A : CustomStringConvertible { let value: Int init(_ value: Int) { self.value = value } var description: String { return "A(\(value))" } deinit { print("deinit \(self)") } } do { var x: ArraySlice<A> = [] for i in 0..<20 { x.append(A(i)) } while let a = x.popFirst() { print("pop \(a)") } print("-----") } 1class A : CustomStringConvertible { let value: Int init(_ value: Int) { self.value = value } var description: String { return "A(\(value))" } deinit { print("deinit \(self)") } } var i = 0 do { var x: ArraySlice<A> = [] do { for _ in 0..<20 { x.append(A(i)) i += 1 } while let a = x.popFirst() { print("pop \(a)") if !x.isEmpty { x[x.endIndex - 1] = A(i) i += 1 } } } print("-----") } 1Keys 実装目的の最初に挙げられているくらいなので、O(1) だと思うんですが、実装追えてないです。 Dictionary.Keys.contains(_:) は最終これが呼ばれるので、O(1) ですね。(Nativeの場合) 1keys は struct 1つ作るだけだからそんなにオーバーヘッドなさそう https://github.com/apple/swift/blob/82226642c2459c0f5d2054fe1f6545b57efafffb/stdlib/public/core/Dictionary.swift#L1169-L1173 dictionary.keys.contains(key) 使うことにします。 1index(forKey:) のほうが特なのですね。納得。 Cocoa のほうだと、maybeGet で見つかったときに、比較的重い処理 https://github.com/apple/swift/blob/82226642c2459c0f5d2054fe1f6545b57efafffb/stdlib/public/core/Dictionary.swift#L3026-L3036 が入るので、何故なんだろうと思ったのです。 index(for:) を呼ばずに https://github.com/apple/swift/blob/82226642c2459c0f5d2054fe1f6545b57efafffb/stdlib/public/core/Dictionary.swift#L3397-L3420 みたいな分岐をして .cocoa のときに maybeGet なり何なりを使って検査するようにすれば NSDictionary をラップしてても dictionary.keys.contains(key) を O(1) にできるような気がするんですが、そんなことはないですか？ NSDictionary をラップしてても O(1) になってる？ @swiftbot
import Foundation let native1M = [String: String](uniqueKeysWithValues: (1...1_000_000).map { ("\($0)", "\($0)") }) let cocoa1M = (native1M as NSDictionary) as! [String: String] let native2M = [String: String](uniqueKeysWithValues: (1...2_000_000).map { ("\($0)", "\($0)") }) let cocoa2M = (native2M as NSDictionary) as! [String: String] let n = 10 func measure(_ operation: () -> ()) { var sum: TimeInterval = 0 for i in 1...n { let start = Date.timeIntervalSinceReferenceDate operation() let end = Date.timeIntervalSinceReferenceDate let interval = end - start print("\(i): \(interval)") sum += interval } print("avg: \(sum / TimeInterval(n))") } let dictionaries: [(String, [String: String])] = [ ("Native 1M", native1M), ("Cocoa 1M", cocoa1M), ("Native 2M", native2M), ("Cocoa 2M", cocoa2M), ] for (name, dictionary) in dictionaries { print(name) measure { for i in 1...100 { _ = dictionary.keys.contains("\(i)") } } } 1 
@compilerEvaluable いいね。今はllvmが特定のc関数についてやってるだけなのかな？ https://forums.swift.org/t/pitch-compile-time-constant-expressions-for-swift/12879
struct なのがミスリーディングな気も。 class の方がよい？
protocol<A, B> を Any<A, B> にしようってだけだったか。 https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#renaming-protocol-to-any- 
struct Foo { var a: Int } struct Bar { var foo: Foo } let k1: KeyPath<Bar, Foo> = \.foo let k2: WritableKeyPath<Foo, Int> = \.a let k: WritableKeyPath<Bar, Int> = k1.appending(path: k2) 1
struct Foo { var a: Int = 42 } struct Bar { var foo: Foo = Foo() } let k1: KeyPath<Bar, Foo> = \.foo let k2: PartialKeyPath<Foo> = \.a // let k: PartialKeyPath<Bar> = k1.appending(path: k2) let bar = Bar() // let a: Int = bar[keyPath: k1][keyPath: k2] let a: Any = bar[keyPath: k1][keyPath: k2] print(a) // OK: 42 1KeyPath に WritableKeyPath を append して WritableKeyPath 生成するメソッドが（ドキュメント上？）できてしまってるの↓のせいか。 where 以下がコメントアウト。 extension _AppendKeyPath /* where Self == WritableKeyPath<T,U> */ {
https://github.com/apple/swift/blob/master/stdlib/public/core/KeyPath.swift#L1812 (Writable)KeyPath に PartialKeyPath を append して PartialKeyPath を得るの、とりあえず無理やりで extension 書けた。 @swiftbot
struct Foo { var a: Int = 42 } struct Bar { var foo: Foo = Foo() } extension KeyPath { func appending(path: PartialKeyPath<Value>) -> PartialKeyPath<Root> { return (self as AnyKeyPath).appending(path: path as AnyKeyPath)! as! PartialKeyPath<Root> } } let k1: WritableKeyPath<Bar, Foo> = \.foo let k2: PartialKeyPath<Foo> = \.a let k: PartialKeyPath<Bar> = k1.appending(path: k2) let bar = Bar() let a: Any = bar[keyPath: k] print(a) 1didSet の中で didSet は呼ばれないけど・・・ struct Foo { var count: Int = 0 var a: Int = 42 { didSet { print("Foo.a didSet: \(count)") count += 1 } } } struct Bar { var count: Int = 0 var foo: Foo = Foo() { didSet { print("Bar.foo didSet: \(count), \(foo.count)") count += 1 foo.count += 100 } } } var bar = Bar() bar.foo.a = -1 1struct Foo { var count: Int = 0 var a: Int = 42 { didSet { print("Foo.a didSet: \(count)") count += 1 } } } struct Bar { var count: Int = 0 var foo: Foo = Foo() { didSet { print("Bar.foo didSet: \(count), \(foo.count)") count += 1 // foo.count += 100 self[keyPath: \Bar.foo].count += 100 } } } var bar = Bar() bar.foo.a = -1 1struct Stone { var name: String = "" { didSet { let newValue = name if recCount == 5 { return } recCount += 1 print("name.didSet begin: \(oldValue) -> \(newValue)") update() print("name.didSet end: \(oldValue) -> \(newValue)") } } var recCount = 0 mutating func update() { name = "jiro" } } var b = Stone() b.name = "taro" 1
struct Stone { var name: String = "" { didSet { let newValue = name if recCount == 5 { return } recCount += 1 print("name.didSet begin: \(oldValue) -> \(newValue)") name.append("x") print("name.didSet end: \(oldValue) -> \(newValue)") } } var recCount = 0 } var b = Stone() b.name = "taro" 1KeyPath で記述できました。 @swiftbot
extension Optional { // Produce the `default` value if `self` is nil. subscript(default value: Wrapped) -> Wrapped { get { return self ?? value } set { self = newValue } } // Act like optional chaining on read, while allowing "writes" that drop // the value on the floor if `self` is nil. subscript<T>(droppingWritesOnNil path: WritableKeyPath<Wrapped, T>) -> T? { get { return self?[keyPath: path] } set { if let newValue = newValue { self?[keyPath: path] = newValue } } } } struct Foo { var a: Int = 42 } struct Bar { var foo: Foo? = Foo() } var bar = Bar() bar[keyPath: \Bar.foo[droppingWritesOnNil: \.a]] = -1 print(bar.foo!.a) bar.foo = nil bar[keyPath: \Bar.foo[droppingWritesOnNil: \.a]] = 999 print(String(describing: bar.foo)) 1weak でイミュータビリティが壊れた。 @swiftbot
struct Weak<Value : AnyObject> { weak var value: Value? { didSet { print("Weak.value didSet") } } init(_ value: Value) { self.value = value } } extension Weak : Equatable where Value : Equatable { static func ==(lhs: Weak<Value>, rhs: Weak<Value>) -> Bool { return lhs.value == rhs.value } } extension Weak : Hashable where Value : Hashable { var hashValue: Int { return value?.hashValue ?? 0 } } class Foo : Hashable { static func ==(lhs: Foo, rhs: Foo) -> Bool { return lhs === rhs } var hashValue: Int { return ObjectIdentifier(self).hashValue } } var dict: [Weak<Foo>: Int] = [:] var weak1: Weak<Foo>! var weak2: Weak<Foo>! do { let foo1 = Foo() weak1 = Weak(foo1) dict[weak1] = 111 print("weak1: \(weak1)") let foo2 = Foo() weak2 = Weak(foo2) dict[weak2] = 222 print("weak2: \(weak2)") for (key, value) in dict { print("\(key) -> \(value)") } print("dict[weak1]: \(String(describing: dict[weak1]))") print("dict[weak2]: \(String(describing: dict[weak2]))") } print("---") print("weak1: \(weak1)") print("weak2: \(weak2)") for (key, value) in dict { print("\(key) -> \(value)") } print("dict[weak1]: \(String(describing: dict[weak1]))") print("dict[weak2]: \(String(describing: dict[weak2]))") 1extension Never: Equatable { public static func == (lhs: Never, rhs: Never) -> Bool { switch (lhs, rhs) { } } } let a: [Never] = [] print(a == a) // OK
https://github.com/apple/swift-evolution/blob/master/proposals/0215-conform-never-to-hashable-and-equatable.md 1extension Never : Error {} enum Result<T, E: Error> { case success(T) case failue(E) } let a: Result<Int, Never> = .success(42) print(a) 1
import Foundation class UDPSocket { let queue = DispatchQueue(label: "socket") let socket = Socket() func noreturn() { queue.async { [weak self] in let socket = self!.socket socket.noreturn() } } deinit { socket.canceled = true print("UDPSocket deinit.") } } class Socket { var canceled = false func noreturn() { while !canceled { } } deinit { print("Socket deinit.") } } var udp: UDPSocket? = UDPSocket() udp!.noreturn() sleep(1) udp = nil sleep(1) 1
import Foundation class UDPSocket { let queue = DispatchQueue(label: "socket") let socket = Socket() func noreturn() { queue.async { [weak self] in // let socket = self!.socket self?.socket.noreturn() } } deinit { socket.canceled = true print("UDPSocket deinit.") } } class Socket { var canceled = false func noreturn() { while !canceled { } } deinit { print("Socket deinit.") } } var udp: UDPSocket? = UDPSocket() udp!.noreturn() sleep(1) udp = nil sleep(1) 1 2func の where を消すと↓ Wraped と S.Element が同じ型である保証がなくなって + ができない。 extension Optional { @_specialize(exported: true, where Wrapped == Int, S == [Int]) func foo<S : Sequence>(_ sequence: S) -> [Wrapped] { return Array(sequence) + (self.map { [$0] } ?? []) } } 1
$ swiftc -O partial.swift -module-name Test -o partial $ swiftc -O full.swift -module-name Test -o full で試したら一致しました。 1 1 1
Never to Equatable and Hashable, has been accepted! 
https://t.co/zBneV1oWiZ The core team also concluded: 1. Never should also conform to Error and Comparable 2. Never should become a blessed bottom type Exactly the resolution I hope... 
Base が値型だとオーバーヘッド大きそう。 struct Extension<Base> { let base: Base init (_ base: Base) { self.base = base } } protocol ExtensionCompatible { associatedtype Compatible static var ex: Extension<Compatible>.Type { get } var ex: Extension<Compatible> { get } } extension ExtensionCompatible { static var ex: Extension<Self>.Type { return Extension<Self>.self } var ex: Extension<Self> { return Extension(self) } }
https://qiita.com/motokiee/items/e8f07c11b88d692b2cc5 
1 -emit-ir できるんだっけ？ swiftc -O -emit-ir main.swift | grep S4main7ExampleVA2A3FooVRszlE2abSivg するととんでもなく長い行が出てくる 1
pageControl.rx.controlEvent(.valueChanged) .subscribe(onNext: { [weak self] in guard let currentPage = self?.pageControl.currentPage else { return } guard let contentOffset = self?.scrollView.contentOffset else { return } guard let currentIndex = self?.currentIndex else { return } ...
1
1 1
std::atomic とか使ってたのでstdlib内を探したら _stdlib_atomicCompareExchangeStrongPtr https://github.com/apple/swift/blob/master/stdlib/public/core/Runtime.swift.gyb#L25 とか見つけたのですが、stdlib内で使ってるところが見当たらず。何か違うメカニズムを使ったほうがよいのかな。 func returnStringCollection() -> opaque Collection where _.Element == String みたいなのを出来るようにする提案 1
1 
2 1
1
NoError 要らずでいい感じ。 enum Result<Value, Error: Swift.Error> { case success(Value) case failure(Error) func get() throws -> Value { switch self { case .success(let value): return value case .failure(let error): throw error } } } extension Result where Error == Never { func get() -> Value { switch self { case .success(let value): return value } } } let a: Result<Int, Never> = .success(42) print(a.get()) 2
1
Chris Lattner Jun 13 Moderate -1. Never is special because it has no instances - it is uninhabited by design. This means that it can conform to all protocols. I'd rather see a global solution rather than cherry picking these two specific protocols.
Joe_Groff Jun 13 If we're cherry-picking protocols to conform Never to, Error seems like another good one to whitelist, since it's useful to use Never to close off the error path in Result<T, Never>-like abstractions.
https://forums.swift.org/t/se-0215-conform-never-to-equatable-and-hashable/13586 ArraySliceのremoveFirstの実装がどれなのか確定できてないですが上位プロトコルで実装されててArraySlice以外の事情も絡んでそうな気がしてます。 https://github.com/apple/swift/blob/ae6f5dd60460f340d98cf24c402c6489bb5a4f2b/stdlib/public/core/Collection.swift#L1765-L1781 1
1
と 
{ } で書いたときと func で書いた時で self の暗黙キャプチャ挙動が変わる 1 1String と StringBuilder と Writer を合わせたような感じの役割を果たしてる感じでしょうか。 1{ ∃X where X: Animal, X } の事で 、その考え方ではプロトコルに準拠してるのはXであって Existential ではないから、という説明になるらしいですけど、僕はよくわかってないです。
_canonicalBox というのが何故必要なのか？ 
print(AnyHashable(42 as Int) == AnyHashable(42.0 as Double))の挙動は意図したものなのね。 https://github.com/apple/swift/pull/17396 AnyHashableを作るときに、どんな_AnyHashableBoxを使うかカスタマイズできる_HasCustomAnyHashableRepresentationってのがあって、元がDoubleでもInt64(exactly:)で表現可能なら、_IntegerAnyHashableBoxを使う仕組みになってる。 https://github.com/apple/swift/blob/master/stdlib/public/core/FloatingPointTypes.swift.gyb#L1820-L1831 1JSONDecoder.decode とかは throws じゃなくて -> Result<...> であるべきということになりそうだけどどうだろう？ 1
1Result の利用を推奨してる？ I want to clarify that I favor adding Result only to address situations where manual propagation is necessary. Manual propagation will always occasionally be useful; adding async/await (or whatever we end up doing) will surely eliminate most of the most common situations, but they'll still exist, e.g. when using futures (which are the equivalent of manual propagation for async/await and accordingly trigger similar requirements). I will continue to recommend against using Result as an alternative mechanism for ordinary propagation of errors, although I have no doubt that some people will insist on doing so; and I continue to believe that using a different error type than Error is generally misguided for the same reason it's generally misguided with ordinary error-handling. I also worry that the ergonomics of this type are significantly hurt by the attempt to support typed errors and (especially) non-Error-conforming errors.
https://forums.swift.org/t/se-0235-add-result-to-the-standard-library/17752/129
-public enum Result<Value, Error> { - case success(Value), failure(Error) +public enum Result<Value, Error: Swift.Error> { + case value(Value), error(Error) } 
JSONDecoder.decode(_:from:) は Result を return するのがいいの？それともしないのがいいの？って聞いてみた。 https://forums.swift.org/t/revised-se-0235-add-result-to-the-standard-library/18371/26 1 
3
protocol P1 { associatedtype Input } extension P1 { typealias InputP1 = Input } protocol P2 { associatedtype Input } extension P2 { typealias InputP2 = Input } struct Box<T> {} extension Box: P1 where T: P1 { typealias InputP1 = T.InputP1 } extension Box: P2 where T: P2 { typealias Input = T.InputP2 } func inputType<T>(_ type: T.Type) -> T.Input.Type where T: P2 { fatalError() } struct A: P2, P1 { typealias Input = Int } let _ = inputType(Box<A>.self) 1
protocol P1 { associatedtype Input } extension P1 { typealias InputP1 = Input } protocol P2 { associatedtype Input } extension P2 { typealias InputP2 = Input } struct Box<T> {} extension Box: P1 where T: P1 { typealias InputP1 = T.InputP1 } extension Box: P2 where T: P2 { typealias Input = T.InputP2 } func inputTypeP2<T>(_ type: T.Type) -> T.Input.Type where T: P2 { return T.Input.self } func inputTypeP1<T>(_ type: T.Type) -> T.Input.Type where T: P1 { return T.Input.self } struct A: P2, P1 { typealias Input = Int } print(inputTypeP1(Box<A>.self)) // セグフォ print(inputTypeP2(Box<A>.self)) 1 4
swift_decompose_double(), swift_decompose_float(), swift_decompose_float80()とswift_format_exponential()をYamsで使いたかったのだけど、libswiftCoreからexportされていないので、SwiftDtoa.hとSwiftDtoa.cppをソースコードごとコピーしてくるしか手が無い。 
internal var isFastZeroTerminated: Bool ほほう。 https://github.com/apple/swift/blob/master/stdlib/public/core/StringObject.swift#L946 
（入力が配列であれば任意のキーで Dictionary にはできるっぽいですが。。） https://github.com/apple/swift/blob/master/stdlib/public/core/Codable.swift.gyb#L1893 1
encodedOffsetをdeprecatedにする提案をswift-5.0-RELEASEへ入れるには遅すぎた、という結論へ至ったらしい。まあ仕方ない。
1swift-5.0-RELEASEへ入れるのを諦めるのは各offsetに対応したAPIを追加する事で、encodedOffsetをdeprecatedにして代替となるString.Index.utf16Offset(in:)とString.Index.init(utf16Offset:in:)だけはswift-5.0-RELEASEへ入れようという方向へ切り替わったのか？ https://github.com/apple/swift-evolution/blob/master/proposals/0241-string-index-explicit-encoding-offset.md String.Indexはオフセットが同じでも、対象となるStringにより中身が変わってきます。 コメントに構造が記されてます。 https://github.com/apple/swift/blob/master/stdlib/public/core/StringIndex.swift#L17-L33
/* String's Index has the following layout: ┌──────────┬───────────────────┬────────────────┬──────────┐ │ b63:b16 │ b15:b14 │ b13:b8 │ b7:b0 │ ├──────────┼───────────────────┼────────────────┼──────────┤ │ position │ transcoded offset │ grapheme cache │ reserved │ └──────────┴───────────────────┴────────────────┴──────────┘ - grapheme cache: A 6-bit value remembering the distance to the next grapheme boundary - position aka `encodedOffset`: An offset into the string's code units - transcoded offset: a sub-scalar offset, derived from transcoding The use and interpretation of both `reserved` and `grapheme cache` is not part of Index's ABI; it should be hidden behind non-inlinable calls. However, the position of the sequence of 14 bits allocated is part of Index's ABI, as well as the default value being `0`. */ 
associatedtype を確定する typealias とは別ですが、一般的な typealias は今回の Proposal 外の Future Directions に入ってるので、 protocol でも将来的なサポートになるかもです。 https://github.com/apple/swift-evolution/blob/master/proposals/0244-opaque-result-types.md#opaque-type-aliases (some Foo)? 作れた
protocol Foo {} extension Int: Foo {} protocol P { associatedtype F: Foo func foo() -> F func fooOrNil() -> F? } struct S: P { func foo() -> __opaque Foo { return 42 } func fooOrNil() -> F? { return Bool.random() ? foo() : nil } } let s = S() var a = s.fooOrNil() print(String(describing: a)) let b: Int? = -1 a = b // Error
/path/to/opaque-result-3.swift:19:5: error: cannot assign value of type 'Int?' to type '(__opaque main.(file).S.foo()@/path/to/opaque-result-3.swift:10:10)?' a = b // Error ^ as! (__opaque main.(file).S.foo()@/path/to/opaque-result-3.swift:10:10) dyn キーワードを付けるようにするという決定が下されて、 Swift での過去の議論では同様のキーワードとして any が議論されていた。そして、そうなれば、 any Foo は existential type に、 some Foo は opaque type になると見越している？
any Foo と some Foo だとめちゃくちゃキレイ。 https://forums.swift.org/t/se-0244-opaque-result-types/21252/140
PR のブランチをチェックアウトしてコンパイラをビルドすれば… CIによってビルドされたmacOS用toolchainがPRのコメントに載っているので、それをダウンロードすれば自分でビルドしなくても試せます。 コメント: https://github.com/apple/swift/pull/21137#issuecomment-468118328 toolchain: https://ci.swift.org/job/swift-PR-toolchain-osx/216//artifact/branch-master/swift-PR-21137-216-osx.tar.gz 1swift-5.0-RELEASE とで、SourceKitのレスポンスが違う… 2
public func matmul_base<T: Numeric>(lhs: [T], rhs: [T], m: Int, n: Int, p: Int) -> [T] { return matmul_internal(lhs: lhs, rhs: rhs, m: m, n: n, p: p) } @inlinable public func matmul_inlinable<T: Numeric>(lhs: [T], rhs: [T], m: Int, n: Int, p: Int) -> [T] { return matmul_internal(lhs: lhs, rhs: rhs, m: m, n: n, p: p) } public func matmul_specialize(lhs: [Double], rhs: [Double], m: Int, n: Int, p: Int) -> [Double] { return matmul_internal(lhs: lhs, rhs: rhs, m: m, n: n, p: p) } 以上のように内部実装は共通でインターフェースだけ違うのを計測してみると、 https://github.com/t-ae/inlinable-performance/blob/master/Tests/inlinable-performanceTests/inlinable_performanceTests.swift
Test Case '-[inlinable_performanceTests.inlinable_performanceTests testBase]' passed (11.864 seconds). Test Case '-[inlinable_performanceTests.inlinable_performanceTests testInlinable]' passed (11.498 seconds). Test Case '-[inlinable_performanceTests.inlinable_performanceTests testSpecialize]' passed (0.340 seconds). と素のものとinlinableで同程度になっています。 インライン化と同時にじゃないとspecializeされないってのがありそうかなーと思っています。
1
Introduction Method defined on Extension seems to override the default method when default values are used. ⬇ Example import Foundation protocol X { func say(sentence: String) } extension X { func say(sentence: String = "Hello Jessy") { print("X :... 
allSatisfy 加えるなら someSatisfy 的なのもほしくないですか？ and と or 的に。 https://github.com/apple/swift-evolution/blob/master/proposals/0207-containsOnly.md 
HTMLBuilderをXcode 11 betaで動かそうとしてるけど、いまいちうまくいかないな。 https://forums.swift.org/t/pitch-function-builders/25167
@swift-5.0.3
import Foundation let gregorian = Calendar(identifier: .gregorian) let utc = TimeZone(identifier: "UTC")! let components = gregorian.dateComponents(in: utc, from: Date()) func date(from components: DateComponents, with nanosecond: Int) -> Date { var components = components components.nanosecond = nanosecond return components.date! } print(date(from: components, with: 999499976).description) print(date(from: components, with: 999499977).description)
JSONEncoderは標準機能だと、任意のDateのインスタンスを元の値を維持したままDateFormatter使ってエンコード／デコード出来ないから、Date()のround tripテストだけ特別なことしてる。 https://github.com/apple/swift/blob/master/test/stdlib/TestJSONEncoder.swift#L255-L257 あれ？公式のリポジトリ内では、JSONEncoderは任意のDateインスタンスのエンコード／デコードを標準の手法でテストされてない？ 1
libSyntaxが使う型情報のハッシュを計算しておいて、実行時にこれを照合して互換性があるライブラリかチェックしてるぽい。 https://github.com/apple/swift/blob/master/utils/gyb_syntax_support/__init__.py#L164-L170 
_swift_dynamicCastが担ってて、実装はこれ。 https://github.com/apple/swift/blob/master/stdlib/public/runtime/Casting.cpp#L2271
1
__TEXT,__swift5_protoセクションにprotocol conformance descriptorへのポインタが列挙されてる。protocol conformance descriptorには以下 が含まれる。 protocol descriptorプロトコルnominal type descriptorそのプロトコルに準拠する型。メタデータとは別witness tableその型がプロトコル準拠するに必要なwitness一覧nominal type descriptorにはメタデータへのポインタが含まれる。swift_conformsToSwiftProtocolは渡されたメタデータが準拠するプロトコル情報を探してきてくれる。実装はこちら。 https://github.com/apple/swift/blob/swift-5.1-branch/stdlib/public/runtime/ProtocolConformance.cpp#L544-L608
1
# cat main2.swift import Foundation let df = DateFormatter() df.dateFormat = "yyyy/MM/dd HH:mm:ss.SSSSSSS" let start = Date() var total: TimeInterval = 0 for _ in 0..<10_000 { let year = 2019 let month = 11 let day = 10 let hour = 10 let minute = 10 let second = 10 let microsecond = 101010 let date = df.date(from: "\(year)/\(month)/\(day) \(hour):\(minute):\(second).\(microsecond)") total += date?.timeIntervalSinceNow ?? 0 } print("time: \(Date().timeIntervalSince(start))sec, \(total)")root@15ebe51be255:/var/vapor-app# swiftc -O main2.swift root@15ebe51be255:/var/vapor-app# ./main2 time: 0.32200801372528076sec, 14063930163.143023 1 2 targets: [ .target(name: "Complex", dependencies: ["Real"]), .target(name: "Numerics", dependencies: ["Complex", "Real"]), .target(name: "NumericsShims", dependencies: []), .target(name: "Real", dependencies: ["NumericsShims"]), ... ] 
ComplexはSignedNumericじゃないんですね。 https://developer.apple.com/documentation/swift/signednumeric
struct X {} struct Y { static func f(_ x: X) -> X { print("Y") return x } } let x = X() let _: X = .f(x) 1 It is still in an early phase, but I am currently not aware of any...
1 
URLSession ってまだ Alamofire が動かないくらいダメなの？ https://forums.swift.org/t/alamofire-on-linux-possible-but-not-release-ready/34553
throws! という概念を追加して、 try できるけど何も書かない場合は try! 扱い というのはどうか、という話題が発生して、 そこにクリスラトナーが、 足し算のオーバーフローや配列の範囲外アクセスを throws! であることにすれば、 エラーハンドリングできるようになる って意見を書いている https://forums.swift.org/t/handling-c-exceptions/34823/38?u=omochimetaru 4swift -frontend -replとかしてたまに使うintegrated REPLをswiftから削除するにあたり、使ってる人がいるかどうか調査するスレッドが出来てたので、コメントしておいた。 https://forums.swift.org/t/rfc-removing-the-integrated-repl/35441/4 2
RangeSet https://github.com/apple/swift-evolution/blob/master/proposals/0270-rangeset-and-collection-operations.md が revert された。 
struct のプロパティで let 使った方が良さそうな新しい（？）パターンを発見した。 （参考） https://qiita.com/omochimetaru/items/7265e440418b38088ccb 
1 1extension Optional : CVarArg { } がなぜ動くのか知りたい... 1
1
Codableの実装初期PRでは、 KeyedDecodingContainerはKeyedDecodingContainerProtocolに準拠するけど、 KeyedEncodingContainerはKeyedEncodingContainerProtocolに準拠してない、 と一貫性がなかったのを思い出した。 https://github.com/apple/swift/pull/9004#pullrequestreview-37206353 
1 1
1
= nil って大したタイプ数じゃないし。 1
for m in (3...number) where !m.isMultiple(of: 2) 1FROM ubuntu:20.04 RUN apt -y update # Install development utils RUN DEBIAN_FRONTEND=noninteractive \ apt install -y wget tar vim openssh-server sudo tmux lldb \ git cmake ninja-build \ clang python uuid-dev \ libicu-dev icu-devtools \ libedit-dev libxml2-dev \ libsqlite3-dev swig libtinfo5 \ libpython2-dev libncurses5-dev \ pkg-config libcurl4-openssl-dev \ systemtap-sdt-dev \ tzdata rsync python-six \ libncurses5 \ libz3-dev python3-distutils 1
1 1
fileprivate 書かなきゃいけないケースってあまりないなと思ってたんですが、↓のようなケースで fileprivate でしか書けなさそうなのを発見しました。 struct S {} private struct T {} private protocol P { func foo() -> T } extension S: P { fileprivate func foo() -> T { T() } }let s = readLine()! let a = (0..<2).map(s.dropFirst).count を実行して 11111111111111111 など 15 or 16 文字以上の文字列を標準入力として与えると -O または -Ounchecked 時に実行時エラーになるそうです。気持ち悪い・・・。 https://twitter.com/_kebo/status/1357011619440599044
let s = readLine()! let a = (0..<2).map(s.dropFirst).count を実行して 11111111111111111 など 15 or 16 文字以上の文字列を標準入力として与えると -O または -Ounchecked 時に実行時エラーになるそうです。気持ち悪い・・・。 https://twitter.com/_kebo/status/1357011619440599044 s.dropFirst を変数に束縛するのでも再現しなくなるみたいですし、{ s.dropFirst($0) } のようにクロージャにしても再現しなくなりますし、あとは (ちゃんと記録してませんでしたが) 形を変えて行った時にどこかで二重解放の実行時エラーが出ていたので、s が解放されちゃいけないタイミングで解放されているのかなぁという気がしてます。 かといって withExtendedLifetime で s のライフタイムを伸ばしても変わらなかったので、何処かの最適化フェーズに問題があったのではと睨んでます。 1
3
2
1 1
var s = Cat() var a: Animal = s // CatとAnimalのサブタイプ関係が成り立つことを示す var b: Cat? = s var c: Animal? = b U?はT?のサブタイプ、は具体のコードとしては、 UITableViewController? な変数が UIViewController? に渡せる、というのが頻出すると思います。 UIView? の間違い？ 1
♀️するだけだから、これもそこまで難しいとは思えないが…
import Foundation struct Foo: Codable { var value: Int?? } let foo: Foo = .init(value: .some(.none)) print(foo) let data = try! JSONEncoder().encode(foo) print(String(data: data, encoding: .utf8)!) let decoded = try! JSONDecoder().decode(Foo.self, from: data) print(decoded) 1
@main struct MyProgram { static func main() async { ... } }
https://github.com/apple/swift-evolution/blob/main/proposals/0296-async-await.md#launching-async-tasks
@main struct MyProgram { static func main() async { ... } }
https://github.com/apple/swift-evolution/blob/main/proposals/0296-async-await.md#launching-async-tasks 
await a.f() 以下と fの async { .. } ブロックの中が同じスレッドで実行されるようになるっぽい… 1 1
1
do { defer { print(a) } // ←まだaが宣言されてないよ…？ let a = 0 } do { defer { print(a) } // ←まだaが宣言されてないよ…？ let a = 0 } ... お、swiftbot-sandbox でさんざん実験済みだったのか笑 
https://forums.swift.org/t/defer-can-take-variables-declared-after-itself-bug-or-feature/50821/8 
(some P)? みたいなのができるようになるっぽい？ 1
var downloadTask: Task<Data, Error>? func didTapDownload() { let task = Task { try await download(...) } self.downloadTask = task do { let result = try await task.value } catch { if task.isCancelled { ... } } } func didTapCancell() { self.downloadTask?.cancel() } こういうのを想像してました。 func download(url: URL) async throws -> Data? { var urlSessionTask: URLSessionTask? return try withTaskCancellationHandler { return try await withUnsafeThrowingContinuation { continuation in urlSessionTask = URLSession.shared.dataTask(with: url) { data, _, error in if let error = error { ↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓ // Ideally translate NSURLErrorCancelled to CancellationError here continuation.resume(throwing: error) } else { continuation.resume(returning: data) } } urlSessionTask?.resume() } } onCancel: { urlSessionTask?.cancel() // runs immediately when cancelled } } withTaskCancellationHandler使って手動でチェックするのがいいんですかね？(結局呼び出し側でError Typeチェックしなければいけないので、あまり意味ない気もしますが...)
onCancel: { [urlSessionTask] in urlSessionTask?.cancel() // runs immediately when cancelled } Sendableチェックはmainでも起きませんか？おそらくこのPRがrelease/5.5に入ってないからチェックされてないんじゃないかなーと思いました。 https://github.com/apple/swift/pull/38866 SwiftFiddleでやってみたらmainの場合warningが出ました。 /main.swift:21:7: warning: cannot use let 'urlSessionTask' with a non-sendable type 'Box<URLSessionTask>' from concurrently-executed code urlSessionTask.value?.cancel() // runs immediately when cancelled ^ /main.swift:25:13: note: generic class 'Box' does not conform to the `Sendable` protocol final class Box<Value> { 
https://github.com/apple/swift-evolution/blob/main/proposals/0304-structured-concurrency.md 1
await { @MainActor in self.user = user }()
@MainActor in はいらないと思います。 @MainActor in はいらない Task.init ではなく Task.detached を挟んで context を引き継がないときなので MainActor に戻す必要があるかと。 override func viewDidAppear(_ animated: Bool) { super.viewDidAppear(animated) Task.detached(priority: .background) { [self] in do { let user = try await fetchUser(for: userID); Task { @MainActor in self.user = user } } catch { // エラーハンドリング } } }
@MainActor in はいらない Task.init ではなく Task.detached を挟んで context を引き継がないときなので MainActor に戻す必要があるかと。 override func viewDidAppear(_ animated: Bool) { super.viewDidAppear(animated) Task.detached(priority: .background) { [self] in do { let user = try await fetchUser(for: userID); Task { @MainActor in self.user = user } } catch { // エラーハンドリング } } }
Since actors are designed for reentrancy, the runtime may choose to move the higher-priority item to the front of the queue, ahead of the lower-priority items. This way, higher-priority work could be executed first, with lower-priority work following later. This directly addresses the problem of priority inversion, allowing for more effective scheduling and resource utilization.
https://developer.apple.com/videos/play/wwdc2021/10254/?time=2160
https://github.com/apple/swift/blob/main/test/Concurrency/Runtime/async_task_priority_current.swift#L11
protocol Base { func foo() func bar() } protocol Derived: Base { func foo() override func bar() } <stdin>:7:10: warning: implicit override should be marked with 'override' or suppressed with '@_nonoverride' func foo() ^ override <stdin>:2:10: note: overridden declaration is here func foo() ^
public protocol BaseP { func foo() func bar() } public extension BaseP { func foo() { print("BaseP.foo()") } func bar() { print("BaseP.bar()") } } public protocol DerivedP: BaseP { override func foo() @_nonoverride func bar() } public extension DerivedP { func foo() { print("DerivedP.foo()") } func bar() { print("DerivedP.bar()") } } public struct Concrete: DerivedP { } func testBase<T: BaseP>(x: T) { x.foo() x.bar() } func testDerived<T: DerivedP>(x: T) { x.foo() x.bar() } testBase(x: Concrete()) testDerived(x: Concrete()) DerivedP.foo() DerivedP.bar() DerivedP.foo() DerivedP.bar()
protocol Base { func foo() } protocol Derived: Base { @_nonoverride func foo() } struct Impl: Derived { @_implements(Base, foo()) func foo1() { print("Impl.foo1") } @_implements(Derived, foo()) func foo2() { print("Impl.foo2") } } func callBase<T: Base>(_ x: T) { x.foo() } func callDerived<T: Derived>(_ x: T) { x.foo() } callBase(Impl()) callDerived(Impl()) Impl.foo1 Impl.foo2
protocol Base { func foo() } protocol Derived: Base { func foo() } struct Impl: Derived { @_implements(Base, foo()) func foo1() { print("foo1") } @_implements(Derived, foo()) func foo2() { print("foo2") } } func callBase<T: Base>(_ x: T) { x.foo() } func callDerived<T: Derived>(_ x: T) { x.foo() } callBase(Impl()) callDerived(Impl()) foo1 foo1
AsyncSequenceでOptionalを扱いたい場合、nextの戻り値の型をOptionalのOptionalにしなければいけないのは、ループの終わり記号としてのnilと、要素としてのnilを区別するために仕方がないんですかね？(AsyncStream との比較のためにあえてAsyncSequence 使ってます)IteratorProtocol と同じですね(失礼しましたmm)。 mutating func next() async throws -> Self.Element?
struct IntGenerator: AsyncSequence { typealias Element = Int? var strings: [String] struct AsyncIterator: AsyncIteratorProtocol { var current = 1 var strings: [String] fileprivate var index = 0 mutating func next() async -> Int?? { // <- ここ guard index < strings.count else { return nil } let string = strings[index] index += 1 return Int(string) } } func makeAsyncIterator() -> AsyncIterator { AsyncIterator(strings: strings) } } Task { let strings: [String] = ["1", "a", "2"] for await i in IntGenerator(strings: strings) { print(i) } }
Optional(1) nil Optional(2) Iterator の API が hasNext と next に分かれていて、まず hasNext で存在を確認してから next を呼ぶという手順になっていますね。その点、 next だけで済ませられる Swift の設計はシンプルだと思います。
1
*がOneOrMoreって書かれてて心配になる。 1AsyncStreamの挙動を調べていたのですが、(1)のループの後にfinishを呼ぶとonTerminationのコールバックが呼ばれてcancel扱いになるのですが、これってこういうものなのでしょうか？ なんとなく「値の出力が全部終わってfinishしたらなぜかcancel処理が走った」みたいな印象を受けたのでどうなのかなあと思いまして
func hoge() async { let digits = AsyncStream(Int.self) { continuation in Task.detached { for digit in 0..<10 { // (1) continuation.yield(digit) } continuation.finish() continuation.onTermination = { @Sendable finished in if case .cancelled = finished { print("cancel") // 呼ばれる } } } } for await digit in digits { print(digit) } }
https://developer.apple.com/documentation/swift/asyncstream MainActor ）で final class UserViewController: UIViewController { private let state: UserViewState ... override func viewDidAppear(_ animated: Bool) { super.viewDidAppear(animated) state.loadUser() } } としてるの、ダメでは？これだと loadUser の非同期処理が終わるまで viewDidAppear を抜けられない・・・。 https://zenn.dev/koher/articles/swift-concurrency-cheatsheet#%F0%9F%92%BC-case-20-(mainactor)%3A-%E5%85%B1%E6%9C%89%E3%81%95%E3%82%8C%E3%81%9F%E7%8A%B6%E6%85%8B%E3%81%AE%E5%A4%89%E6%9B%B4%EF%BC%88%E3%83%A1%E3%82%A4%E3%83%B3%E3%82%B9%E3%83%AC%E3%83%83%E3%83%89%E4%B8%8A%E3%81%A7%E3%81%AE%E5%87%A6%E7%90%86%EF%BC%89
protocol P {} struct S: P {} func makeS() -> S { S() } let f1 = makeS as () -> P print("f1 ok") if let f2 = makeS as? () -> P { print("f2 ok") } else { print("f2 ng") } f1 ok f2 ngstderr:<stdin>:8:19: warning: runtime conversion from '() -> S' to '() -> P' is not supported; cast always fails if let f2 = makeS as? () -> P { ^ <stdin>:8:19: note: consider using 'as' coercion instead if let f2 = makeS as? () -> P { ^~~ as <stdin>:8:8: warning: value 'f2' was defined but never used; consider replacing with boolean test if let f2 = makeS as? () -> P { ~~~~^~~~~ ~~~ is
protocol P {} struct S: P {} func makeS() -> S { S() } let f1 = makeS as () -> P print("f1 ok") if let f2 = makeS as Any as? () -> P { print("f2 ok") } else { print("f2 ng") } f1 ok f2 ngstderr:<stdin>:8:8: warning: value 'f2' was defined but never used; consider replacing with boolean test if let f2 = makeS as Any as? () -> P { ~~~~^~~~~ ~~~ is
func foo() { let a: Void let b: Int } <stdin>:2:7: warning: immutable value 'a' was never used; consider replacing with '_' or removing it let a: Void ^ _ <stdin>:3:7: warning: immutable value 'b' was never used; consider replacing with '_' or removing it let b: Int ^ _
func foo() { let a: Void let b: Int } <stdin>:2:7: warning: immutable value 'a' was never used; consider replacing with '_' or removing it let a: Void ^ _ <stdin>:3:7: warning: immutable value 'b' was never used; consider replacing with '_' or removing it let b: Int ^ _
func foo() { let a: Void let b: Int } <stdin>:2:7: warning: immutable value 'a' was never used; consider replacing with '_' or removing it let a: Void ^ _ <stdin>:3:7: warning: immutable value 'b' was never used; consider replacing with '_' or removing it let b: Int ^ _
1
1
import Foundation let arraySize = 1000000 let loopCount = 1000 class Values { var values = [Int](repeating: 0, count: arraySize) func foo1() { values[0] += values[0] } func foo2() { let v = values[0] values[0] += v } } func measure(_ body: () -> Void) { let time1 = Date.timeIntervalSinceReferenceDate for _ in 0 ..< loopCount { body() } let time2 = Date.timeIntervalSinceReferenceDate print(time2 - time1) } let values = Values() measure { values.foo1() } measure { values.foo2() } 0.9675040245056152 0.00011301040649414062
@MainActor で escape できるのがおかしい？ @swift-5.6.3
func run(_ operation: () -> Void) { operation() } func runEscaping(_ operation: @escaping () -> Void) { operation() } actor Foo { var count: Int = 0 func countUp() { run { count += 1 } runEscaping { [weak self] in guard let self = self else { return } print(self.count) } } } <stdin>:18:24: error: actor-isolated property 'count' can not be referenced from a non-isolated context print(self.count) ^ <stdin>:10:9: note: property declared here var count: Int = 0 ^
func run(_ operation: () -> Void) { operation() } func runEscaping(_ operation: @escaping () -> Void) { operation() } @MainActor final class Bar { var count: Int = 0 func countUp() { run { count += 1 } runEscaping { [weak self] in guard let self = self else { return } print(self.count) } } }
func runEscaping(_ operation: @escaping () -> Void) { Task.detached { operation() } } うろ覚えなんですが、Concurrencyの機能が使われていない場合、Sendableを削除してませんでしたっけ？なのでMainActorの方のcountはエラーにならない？ // Strip off Sendable and (possibly) the global actor.
https://github.com/apple/swift/blob/5c05da0a1d8dad5bd945918ce9e24603091b88c5/lib/Sema/TypeCheckConcurrency.cpp#L4546 asyncとSendableを使っている場合はConcurrencyを使っているとみなされる。 // Async and @Sendable closures use concurrency features.
https://github.com/apple/swift/blob/5c05da0a1d8dad5bd945918ce9e24603091b88c5/lib/Sema/TypeCheckConcurrency.cpp#L4001 actorの内部にある場合もConcurrencyを使っているとみなされる。 // If we're in an actor, we're using concurrency features.
https://github.com/apple/swift/blob/5c05da0a1d8dad5bd945918ce9e24603091b88c5/lib/Sema/TypeCheckConcurrency.cpp#L4027 @Sendable付けると＠MainActor Barの方もエラーになるんですよねえ func runEscaping(_ operation: @Sendable @escaping () -> Void) { operation() }
runEscaping がどのように実装されているかわからないと思うんですが、 runEscaping がブラックボックスだと考えたときに @MainActor func foo() { // main actor context runEscaping { // ここに main actor context が引き継がれることが保証されていないと何も信じられない } } となりませんか？だから、 actor context の引き継ぎはコールスタックがどのようになっていてもクロージャの宣言箇所によって決められる（たとえ Task.detached を挟もうが、 main actor context を引き継ぐ箇所で宣言されたクロージャは実行時に再度 main queue に投入される）のだと思っていました。 ただ、普通の actor だとコンパイルエラーになっていることから、 MainActor （というか global actor ？）の挙動がおかしいんでしょうか？
@escaping な non-@Sendable クロージャは actor context を引き継ぐという理解なんですけど、↓の foo が返すクロージャは常にメインスレッドで実行される（ true が表示される）ということでしょうか？ @MainActor func foo() -> () -> Void { // main actor context { // actor context を引き継ぐ print(Thread.isMainThread) } } この foo で返されたクロージャを Task.detached から呼び出すと false が表示されたんですが、これは僕の仕様理解が間違っているか、バグか、未実装か、実行方法に問題がある（何かオプションを付けないといけないなど）か、どう考えれば良いでしょうか？ 
1
import Foundation @MainActor func foo() -> () -> Void { { print(Thread.isMainThread) } } @main struct Main { @MainActor static func main() async { let f = foo() let t = Task.detached { f() } _ = await t.value } } falsestderr:<stdin>:16:7: warning: capture of 'f' with non-sendable type '() -> Void' in a `@Sendable` closure f() ^ <stdin>:16:7: note: a function type must be marked '@Sendable' to conform to 'Sendable' f() ^ 
public struct _NSRange { public var location: Int public var length: Int public init() { location = 0 length = 0 } public init(location: Int, length: Int) { self.location = location self.length = length } }
https://github.com/apple/swift-corelibs-foundation/blob/ee856f110177289af602c4040a996507f7d1b3ce/Sources/Foundation/NSRange.swift
import Foundation @preconcurrency import struct Foundation.NSRange func f() { let range = NSRange.init() let string = NSString.init() Task { print(range, string) } } <stdin>:8:15: warning: capture of 'range' with non-sendable type 'NSRange' (aka '_NSRange') in a `@Sendable` closure print(range, string) ^ Foundation._NSRange:1:15: note: struct '_NSRange' does not conform to the 'Sendable' protocol public struct _NSRange { ^ <stdin>:1:1: remark: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'Foundation' import Foundation ^ @preconcurrency <stdin>:8:22: warning: capture of 'string' with non-sendable type 'NSString' in a `@Sendable` closure print(range, string) ^ Foundation.NSString:1:12: note: class 'NSString' does not conform to the 'Sendable' protocol open class NSString : NSObject, NSCopying, NSMutableCopying, NSSecureCoding, NSCoding { ^ <stdin>:2:17: remark: '@preconcurrency' attribute on module 'Foundation' is unused @preconcurrency import struct Foundation.NSRange ~~~~~~~~~~~~~~~~^
@available(SwiftStdlib 5.1, *) @rethrows public protocol AsyncIteratorProtocol { associatedtype Element /// Asynchronously advances to the next element and returns it, or ends the /// sequence if there is no next element. /// /// - Returns: The next element, if it exists, or `nil` to signal the end of /// the sequence. mutating func next() async throws -> Element? } ↑さらに、rethrowsじゃなくてthrowsって書いてあるんだけど・・・ 
1
@rethrows protocol RethrowsIterator { func next() throws -> Int? } struct NonfailableIter: RethrowsIterator { func next() -> Int? { return 1 } } struct FailableIter: RethrowsIterator { func next() throws -> Int? { return 1 } } func callNextRethrows<T: RethrowsIterator>(_ iter: inout T) rethrows -> Int? { try iter.next() } var it = NonfailableIter() _ = callNextRethrows(&it) var it2 = FailableIter() _ = try callNextRethrows(&it2)
protocol RethrowsIterator { associatedtype Failure: Error func next() -> Result<Int?, Failure> } struct NonfailableIter: RethrowsIterator { func next() -> Result<Int?, Never> { return .success(1) } } struct FailableIter: RethrowsIterator { func next() -> Result<Int?, Error> { return .success(1) } } func callNextRethrows<T: RethrowsIterator>(_ iter: inout T) -> Result<Int?, T.Failure> { iter.next() } var it = NonfailableIter() let _: Result<Int?, Never> = callNextRethrows(&it) var it2 = FailableIter() _ = try callNextRethrows(&it2).get()
inout とか除いて単純にするとこうか。 @swift-5.7.3
@rethrows protocol P { func foo() throws } struct S1: P { func foo() { print("S1") } } struct S2: P { func foo() throws { print("S2") } } func callFoo<T: P>(of p: T) rethrows { try p.foo() } callFoo(of: S1()) do { try callFoo(of: S2()) } catch { print(error) } S1 S2
@rethrows protocol P { func foo() throws } @rethrows protocol Q { associatedtype PType: P func makeP() -> PType } struct S1: P { func foo() { print("S1") } } struct S2: P { func foo() throws { print("S2") } } struct T1: Q { func makeP() -> S1 { S1() } } struct T2: Q { func makeP() -> S2 { S2() } } func callFoo<T: Q>(from q: T) rethrows { try q.makeP().foo() } callFoo(from: T1()) do { try callFoo(from: T2()) } catch { print(error) } S1 S2
throws を持つメソッドが複数あった場合、両方に働きそう。 @swift-5.7.3
@rethrows protocol P { func foo() throws func bar() throws } @rethrows protocol Q { associatedtype PType: P func makeP() -> PType } struct S1: P { func foo() { print("S1.foo") } func bar() { print("S1.bar") } } struct S2: P { func foo() throws { print("S2.foo") } func bar() throws { print("S2.bar") } } struct T1: Q { func makeP() -> S1 { S1() } } struct T2: Q { func makeP() -> S2 { S2() } } func callFoo<T: Q>(from q: T) rethrows { try q.makeP().foo() } callFoo(from: T1()) do { try callFoo(from: T2()) } catch { print(error) } S1.foo S2.foo
throws を互い違いに付けた場合。 @swift-5.7.3
@rethrows protocol P { func foo() throws func bar() throws } @rethrows protocol Q { associatedtype PType: P func makeP() -> PType } struct S1: P { func foo() { print("S1.foo") } func bar() throws { print("S1.bar") } } struct S2: P { func foo() throws { print("S2.foo") } func bar() { print("S2.bar") } } struct T1: Q { func makeP() -> S1 { S1() } } struct T2: Q { func makeP() -> S2 { S2() } } func callFoo<T: Q>(from q: T) rethrows { try q.makeP().foo() } callFoo(from: T1()) do { try callFoo(from: T2()) } catch { print(error) } <stdin>:49:1: error: call can throw but is not marked with 'try' callFoo(from: T1()) ^~~~~~~~~~~~~~~~~~~ <stdin>:49:1: note: call is to 'rethrows' function, but a conformance has a throwing witness callFoo(from: T1()) ^
throws を互い違いに付けた場合。 @swift-5.7.3
@rethrows protocol P { func foo() throws func bar() throws } @rethrows protocol Q { associatedtype PType: P func makeP() -> PType } struct S1: P { func foo() { print("S1.foo") } func bar() throws { print("S1.bar") } } struct S2: P { func foo() throws { print("S2.foo") } func bar() { print("S2.bar") } } struct T1: Q { func makeP() -> S1 { S1() } } struct T2: Q { func makeP() -> S2 { S2() } } func callFoo<T: Q>(from q: T) rethrows { try q.makeP().foo() } callFoo(from: T1()) do { try callFoo(from: T2()) } catch { print(error) } callFoo の宣言がrethrowsになってて、普通なら一緒に渡してる引数のクロージャがthrowsがどうかが伝搬するけど、ここでは引数のrethrowsプロトコルがどうか、になるんですね
@rethrows protocol P { func foo() throws } @rethrows protocol Q { associatedtype PType1: P associatedtype PType2: P func makeP1() -> PType1 func makeP2() -> PType2 } struct S1: P { func foo() { print("S1") } } struct S2: P { func foo() throws { print("S2") } } struct T1: Q { func makeP1() -> S1 { S1() } func makeP2() -> S2 { S2() } } struct T2: Q { func makeP1() -> S2 { S2() } func makeP2() -> S1 { S1() } } func callFooOfP1<T: Q>(from q: T) rethrows { try q.makeP1().foo() } callFooOfP1(from: T1()) do { try callFooOfP1(from: T2()) } catch { print(error) } <stdin>:48:1: error: call can throw but is not marked with 'try' callFooOfP1(from: T1()) ^~~~~~~~~~~~~~~~~~~~~~~ <stdin>:48:1: note: call is to 'rethrows' function, but a conformance has a throwing witness callFooOfP1(from: T1()) ^
@rethrows protocol P { func foo() throws } @rethrows protocol Q { func bar() throws } struct S1: P { func foo() { print("S1") } } struct S2: P { func foo() throws { print("S2") } } struct T<PType: P>: Q { let p: PType func bar() rethrows { try p.foo() } } T(p: S1()).bar() do { try T(p: S2()).bar() } catch { print(error) } S1 S2
OrderedDictionary の keys が O(1) じゃないんじゃないかという心配が・・・ 
That is to say, instead of # # @available(macOS 10.15.4, iOS 13.4, watchOS 6.2, tvOS 13.4, *) # # we can write # # @available(SwiftStdlib 5.2, *) SwiftStdlib 5.7:macOS 13.0, iOS 16.0, watchOS 9.0, tvOS 16.0
https://github.com/apple/swift/blob/475ed80c3eedb060d617fceed74686a4c6c86990/utils/availability-macros.def
protocol P {} struct S: P {} extension CustomStringConvertible { func f() -> some P { S() } } var foo: some P { "".f() } var bar: some P { ("" as any CustomStringConvertible).f() } <stdin>:15:39: error: type 'any P' cannot conform to 'P' ("" as any CustomStringConvertible).f() ^ <stdin>:15:39: note: only concrete types such as structs, enums and classes can conform to protocols ("" as any CustomStringConvertible).f() ^ <stdin>:14:10: note: required by opaque return type of var 'bar' var bar: some P { ^~~~~~
protocol P {} struct S: P {} extension Error { func f() -> some P { S() } } extension String: Error {} var foo: some P { "".f() } var bar: some P { ("" as any Error).f() } <stdin>:17:21: error: type 'any P' cannot conform to 'P' ("" as any Error).f() ^ <stdin>:17:21: note: only concrete types such as structs, enums and classes can conform to protocols ("" as any Error).f() ^ <stdin>:16:10: note: required by opaque return type of var 'bar' var bar: some P { ^~~~~~
protocol P {} struct S: P {} extension Error { func f() -> some P { S() } } extension String: Error {} var foo: some P { "".f() } var bar: some P { ("" as any Error).f() } <stdin>:17:7: error: member 'f' cannot be used on value of protocol type 'Error'; use a generic constraint instead ("" as any Error).f() ~~~~^~~~~~~~~~~~~ ~
protocol P {} protocol Q {} struct S: P {} extension Q { func p() -> some P { return S() } } func foo(q: Q) -> some P { return q.p() } <stdin>:8:10: error: member 'p' cannot be used on value of protocol type 'Q'; use a generic constraint instead return q.p() ^ ~
protocol P {} protocol Q {} struct S: P {} extension Q { func p() -> some P { return S() } } func foo(q: Q) -> some P { return q.p() } <stdin>:8:10: error: member 'p' cannot be used on value of protocol type 'Q'; use a generic constraint instead return q.p() ^ ~
protocol P {} protocol Q {} struct S: P {} extension Q { func p() -> some P { return S() } } func foo(q: Q) -> some P { return q.p() } <stdin>:8:12: error: type 'any P' cannot conform to 'P' return q.p() ^ <stdin>:8:12: note: only concrete types such as structs, enums and classes can conform to protocols return q.p() ^ <stdin>:7:19: note: required by opaque return type of global function 'foo(q:)' func foo(q: Q) -> some P { ^~~~~~ 2
c++ CLANG_MACRO("SWIFT_CALL", , "__attribute__((swiftcall))")
https://github.com/apple/swift/blob/8d548efbb981666297077658a745db3bffb35e2d/include/swift/PrintAsClang/ClangMacros.def
public func SHOW_ME_MULPD(lhs: SIMD2<Double>, rhs: SIMD2<Double>) -> SIMD2<Double> { lhs * rhs } .text .file "<swift-imported-modules>" .protected $s5CHECK13SHOW_ME_MULPD3lhs3rhss5SIMD2VySdGAG_AGtF .globl $s5CHECK13SHOW_ME_MULPD3lhs3rhss5SIMD2VySdGAG_AGtF .p2align 4, 0x90 .type $s5CHECK13SHOW_ME_MULPD3lhs3rhss5SIMD2VySdGAG_AGtF,@function $s5CHECK13SHOW_ME_MULPD3lhs3rhss5SIMD2VySdGAG_AGtF: mulpd %xmm1, %xmm0 retq .Lfunc_end0: .size $s5CHECK13SHOW_ME_MULPD3lhs3rhss5SIMD2VySdGAG_AGtF, .Lfunc_end0-($s5CHECK13SHOW_ME_MULPD3lhs3rhss5SIMD2VySdGAG_AGtF) .hidden __swift_reflection_version .type __swift_reflection_version,@object .section .rodata,"a",@progbits .weak __swift_reflection_version .p2align 1 __swift_reflection_version: .short 3 .size __swift_reflection_version, 2 .type .L_swift1_autolink_entries,@object .section .swift1_autolink_entries,"e",@progbits .p2align 3 .L_swift1_autolink_entries: .asciz "-lswift_Concurrency\000-lswiftCore\000-lswift_StringProcessing" .size .L_swift1_autolink_entries, 57 .section ".linker-options","e",@llvm_linker_options .section ".note.GNU-stack","",@progbits 
1-O はレベル2なのでそもそも比較の土台が全然違った 1
import Foundation @MainActor func main() async { print(Thread.current.isMainThread) async let x = { print("foo", Thread.current.isMainThread) // 重めの同期処理 return 42 }() print("bar") print(await x) } await main()
true bar foo false 42
1 1 1
記憶喪失がやばい・・・。 https://twitter.com/koher/status/1619191759468396545
1
記憶喪失がやばい・・・。 https://twitter.com/koher/status/1619191759468396545 
2 1
any 付与は完遂したのですが、以下の事象に出くわしました（メモ書き形式で雑ですが……） # Xcode 14.3 ## 正しい提案 - `HogeProtocol` → `any HogeProtocol` - `HogeProtocol?` → `(any HogeProtocol)?` - `as HogeProtocol` → `as (any HogeProtocol)`（`as?`・`as!` も同様） - `HogeProtocol.self` → `(any HogeProtocol).self` - `HogeProtocol.Type` → `any HogeProtocol.Type` ## ビルドできなくなる提案（100% 再現） - `HogeProtocol!` を `any HogeProtocol!` にしてしまう - `HogeProtocol?` は `(any HogeProtocol)?` になってくれるのに…… - `HogeProtocol & FugaProtocol` を `any HogeProtocol & any FugaProtocol` にしてしまう - `any HogeProtocol & FugaProtocol` にしてほしい ## ビルドできなくなる提案（ときどき再現） - `HogeProtocol.self` を `(any HogeProtocol).self` にしてくれないときがあった - `any HogeProtocol.self` にしたときがあった - Array でビルドできなくなるときがある - `let arr = [HogeProtocol]()` が `let arr = [any HogeProtocol]()` に置換されたが、「file contains invalid or unrecognized Swift syntax.」と言われてビルドに失敗することがあった - 一度この状況になると clean したりしてもダメだった - 別なプロジェクト等では発生しない - `let dict = [Key: HogeProtocol]()` が `let dict = [Key: any HogeProtocol]()` に置換されたが、「file contains invalid or unrecognized Swift syntax.」と言われてビルドに失敗することがあった - 一度この状況になると clean したりしてもダメだった - 別なプロジェクト等では発生しない
1
any 付与は完遂したのですが、以下の事象に出くわしました（メモ書き形式で雑ですが……） # Xcode 14.3 ## 正しい提案 - `HogeProtocol` → `any HogeProtocol` - `HogeProtocol?` → `(any HogeProtocol)?` - `as HogeProtocol` → `as (any HogeProtocol)`（`as?`・`as!` も同様） - `HogeProtocol.self` → `(any HogeProtocol).self` - `HogeProtocol.Type` → `any HogeProtocol.Type` ## ビルドできなくなる提案（100% 再現） - `HogeProtocol!` を `any HogeProtocol!` にしてしまう - `HogeProtocol?` は `(any HogeProtocol)?` になってくれるのに…… - `HogeProtocol & FugaProtocol` を `any HogeProtocol & any FugaProtocol` にしてしまう - `any HogeProtocol & FugaProtocol` にしてほしい ## ビルドできなくなる提案（ときどき再現） - `HogeProtocol.self` を `(any HogeProtocol).self` にしてくれないときがあった - `any HogeProtocol.self` にしたときがあった - Array でビルドできなくなるときがある - `let arr = [HogeProtocol]()` が `let arr = [any HogeProtocol]()` に置換されたが、「file contains invalid or unrecognized Swift syntax.」と言われてビルドに失敗することがあった - 一度この状況になると clean したりしてもダメだった - 別なプロジェクト等では発生しない - `let dict = [Key: HogeProtocol]()` が `let dict = [Key: any HogeProtocol]()` に置換されたが、「file contains invalid or unrecognized Swift syntax.」と言われてビルドに失敗することがあった - 一度この状況になると clean したりしてもダメだった - 別なプロジェクト等では発生しない 
1 1any 付けるのは機械的だからマイグレーターで自動でできるよって仕様書には書いてある。 https://github.com/apple/swift-evolution/blob/main/proposals/0335-existential-any.md
any を自動で付けるのってXcodeにリファクタリングメニュー（？）があるのでしょうか？ それとも、コンパイルした後個別のエラーとして表示されて、FixItボタンを一個ずつ（？）押していますか？ 1
any P? を (any P)? にする対応はここの分岐で書かれているので，ここに any P! を (any P)! にする対応を追加する必要があるのかもしれないですね． https://github.com/apple/swift/blob/c7766763e8ef7b0425c95c8c688f34fcaa884f26/lib/Sema/TypeCheckType.cpp#L4845-L4857
- `HogeProtocol!` を `any HogeProtocol!` にしてしまう - `HogeProtocol?` は `(any HogeProtocol)?` になってくれるのに…… - `HogeProtocol & FugaProtocol` を `any HogeProtocol & any FugaProtocol` にしてしまう - `any HogeProtocol & FugaProtocol` にしてほしい について 2つ issue を書いてみようと思います。 1
any P? を (any P)? にする対応はここの分岐で書かれているので，ここに any P! を (any P)! にする対応を追加する必要があるのかもしれないですね． https://github.com/apple/swift/blob/c7766763e8ef7b0425c95c8c688f34fcaa884f26/lib/Sema/TypeCheckType.cpp#L4845-L4857 P? を (any P)? にしてるこちらを改良して P! を (any P)! にする機能も追加したほうが一手短くて良いと思います https://discord.com/channels/291054398077927425/306995750418513920/1094085905586855937 1
- `HogeProtocol!` を `any HogeProtocol!` にしてしまう - `HogeProtocol?` は `(any HogeProtocol)?` になってくれるのに…… - `HogeProtocol & FugaProtocol` を `any HogeProtocol & any FugaProtocol` にしてしまう - `any HogeProtocol & FugaProtocol` にしてほしい について 2つ issue を書いてみようと思います。 ExistentialAny · Issue #65026 · apple/swift https://github.com/apple/swift/issues/65026
5 2
- `HogeProtocol!` を `any HogeProtocol!` にしてしまう - `HogeProtocol?` は `(any HogeProtocol)?` になってくれるのに…… - `HogeProtocol & FugaProtocol` を `any HogeProtocol & any FugaProtocol` にしてしまう - `any HogeProtocol & FugaProtocol` にしてほしい について 2つ issue を書いてみようと思います。 & で繋ぐことを "Protocol Composition Type" というんですね… 知りませんでした） The suggested fix for the protocol composition type is incorrect when enable upcoming featureExistentialAny · Issue #65027 · apple/swift https://github.com/apple/swift/issues/65027
3
1 1
ObservedChanges emits values when a change is made and an available suspension point has been met by the isolation. This means that changes can be grouped up transactionally to the boundary of when a given actor is available to run.
The ObservedValues asynchronous sequence on the other hand will await a change to values end emit the latest value that is available between the last iteration (or starting point of iteration) and the suspension. changesのグルーピングのタイミングがアイソレーションの中断ごとというところがまだイメージできてないんですよね...
ObservedChanges emits values when a change is made and an available suspension point has been met by the isolation. This means that changes can be grouped up transactionally to the boundary of when a given actor is available to run.
The ObservedValues asynchronous sequence on the other hand will await a change to values end emit the latest value that is available between the last iteration (or starting point of iteration) and the suspension. changesのグルーピングのタイミングがアイソレーションの中断ごとというところがまだイメージできてないんですよね... access とか withMutation のスコープ関数で囲って実現してるような気がしたけど、 これらはプロパティの内側で呼ばれるから無理そうなんですよね どうやってこの「ひとまとめにするグループ」を制御しているんだろう。
nextChangeが呼ばれていて、 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservedChanges.swift#L93 その中でinsertNextChangeが呼ばれて、さらにその中で各Stateによって処理が分かれるのですが、 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L312 Pending中は値をinsertしていて、 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrarStateMachine.swift#L54 来たるべきタイミングの時にcontinuation.resumeで変更した値を全部emitしているのではないか思っています。 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L323
nextChangeが呼ばれていて、 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservedChanges.swift#L93 その中でinsertNextChangeが呼ばれて、さらにその中で各Stateによって処理が分かれるのですが、 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L312 Pending中は値をinsertしていて、 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrarStateMachine.swift#L54 来たるべきタイミングの時にcontinuation.resumeで変更した値を全部emitしているのではないか思っています。 https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L323 1
@Observable マクロががんばってくれたりはしない？ extension MyObject { var someComputedProperty: Int { somePrivateProperty + someOtherProperty } nonisolated static func dependencies( of keyPath: PartialKeyPath<Self> ) -> TrackedProperties<Self> { switch keyPath { case \.someComputedProperty: return [\.somePrivateProperty, \.someOtherProperty] default: return [keyPath] } } }
dependencies は、全てのプロパティに依存してる設定でマクロ生成されるようですよ 
1
withCheckedContinuation系のみなはずなんですが、例外が増えるということなんでしょうかね withUnsafeContinuation なんですよ。 送信してるところ: https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L250 Continuationを作ったところ: https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L432
withUnsafeContinuation なんですよ。 送信してるところ: https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L250 Continuationを作ったところ: https://github.com/apple/swift/blob/main/stdlib/public/Observation/Sources/Observation/ObservationRegistrar.swift#L432 scheduleNextChange自体がasync関数なので1フレ遅れ得ませんかね？
Task { for await value in chain([object.someProperty].async, object.values(for: \.someProperty)) { // Really important processing of the value } }
https://forums.swift.org/t/se-0395-observability/64342/24 
if a property will be observed and the change in that property only happens once (and never happens again) and the confluence of events is such that the property observation via values(for:) is called asynchronously (e.g. in a Task) the first value could get lost. ただし、 初期値の取得はイテレーションと同じ分離領域で取得する必要がある 初期値が全部のケースで必要というわけではない 初期値を保持することでどこかのライフサイクルに影響を与えるかもしれない といったことを考慮しなければならない、と書かれてました。 https://forums.swift.org/t/se-0395-observability/64342/89 Pierre from GitHub here. What’s happening? On June 1 2023, just ahead of WWDC 23, GitHub is adding Swift support to a number of our Advanced Security features: GitHub code scanning support for Swift enters public beta to help open-source and enterprise Swift developers secure their code with actionable security alerts right on your pull re... 2URL に限らず Foundation の API 変更への追従は基本遅いですよね．Date.now も iOS 15 で使えるようになって swift-corelibs-foundation にも乗って Swift のリリースに乗ったのが Swift 5.8 なので，1 年半遅れて Linux で使えるようになりましたし． https://github.com/apple/swift-corelibs-foundation/pull/4609 
URL に限らず Foundation の API 変更への追従は基本遅いですよね．Date.now も iOS 15 で使えるようになって swift-corelibs-foundation にも乗って Swift のリリースに乗ったのが Swift 5.8 なので，1 年半遅れて Linux で使えるようになりましたし． https://github.com/apple/swift-corelibs-foundation/pull/4609 Date.now の事、知りませんでした。 こんな簡単なやつも実装されないのか。 dannflorさんはAppleの人ではないみたいだし、野良のコントリビューションで対応されたのか・・・ あまりにもやる気ないな・・・
1withObservationTrackingを使ってsyncのfor loopでtrackingできるようになったり、個々のプロパティをTrackingから除外する@ObservationIgnoredが追加になったり、色々変更になるようです。 ObservationTrackingという型に@_spi(SwiftUI)がついているのがよくわかってないです
https://github.com/apple/swift/pull/65528
1 1
SwiftUI.App に渡されるところから始まるので。 1
1
♂️
struct S<X> { var x: X } extension S: Hashable where X: Equatable { var hashValue: Int { 1 } } extension S: Equatable where X: Hashable {} <stdin>:2:1: error: type 'X' does not conform to protocol 'Hashable' extension S: Hashable where X: Equatable { ^ <stdin>:2:1: error: 'Hashable' requires that 'X' conform to 'Hashable' extension S: Hashable where X: Equatable { ^ <stdin>:2:1: note: requirement specified as 'X' : 'Hashable' extension S: Hashable where X: Equatable { ^ <stdin>:2:1: note: requirement from conditional conformance of 'S<X>' to 'Equatable' extension S: Hashable where X: Equatable { ^ <stdin>:3:7: warning: 'Hashable.hashValue' is deprecated as a protocol requirement; conform type 'S' to 'Hashable' by implementing 'hash(into:)' instead var hashValue: Int { 1 } ^
1
var a0 = [0] a0 += [a] a0 += [b] let a = consume a0 1 1 3
1 1 1
1
$ file ./usr/bin/swift ./usr/bin/swift: Mach-O universal binary with 2 architectures: [x86_64:Mach-O 64-bit x86_64 executable, flags:<NOUNDEFS|DYLDLINK|TWOLEVEL|WEAK_DEFINES|BINDS_TO_WEAK|PIE|HAS_TLV_DESCRI PTORS>] [arm64]
1 1do throws(CatError) { if isDaylight && foodBowl.isEmpty { throw .sleeps // equivalent to CatError.sleeps } try callCat() } catch let myError { // myError is of type CatError } 
3
Task(on: executor) { // starts and runs on the 'executor' await nonisolatedAsyncFunc() } Task.detached(on: executor) { // starts and runs on the 'executor' await nonisolatedAsyncFunc() } await withDiscardingTaskGroup { group in group.addTask(on: executor) { // starts and runs on the 'executor' await nonisolatedAsyncFunc() } } func nonisolatedAsyncFunc() async -> Int { // if the Task has a specific executor preference, // runs on that 'executor' rather than on the default global concurrent executor return 42 }
https://forums.swift.org/t/se-0417-task-executor-preference/68958 2 2 4 Limitations of preamble and body macros: While the proposed design for preamble macros makes it possible to inject both prologue and epilogue code using defer, the inability to examine a thrown error or the function's return value were cited as difficult limitations.
Lack of closure support: While the Language Steering Group does agree that it would be useful to have this capability, applying function body macros to closures presents a number of unique challenges that do not apply to regular function declarations. For this reason, we are comfortable slicing closures off as a future direction for their own proposal.
https://forums.swift.org/t/returned-for-revision-se-0415-function-body-macros/69114
Limitations of preamble and body macros: While the proposed design for preamble macros makes it possible to inject both prologue and epilogue code using defer, the inability to examine a thrown error or the function's return value were cited as difficult limitations.
Lack of closure support: While the Language Steering Group does agree that it would be useful to have this capability, applying function body macros to closures presents a number of unique challenges that do not apply to regular function declarations. For this reason, we are comfortable slicing closures off as a future direction for their own proposal.
https://forums.swift.org/t/returned-for-revision-se-0415-function-body-macros/69114
When we first introduced distributed actors, many developers were asking about using t... 
@OptionSetがstdlibに追加されて、その後しれっと削除された様なのですが、SwiftMacro内には存在し続けて配布が続いている様です。これってどういう扱いになってるのでしょう？ @swift-5.9.2 @swift-5.10.1 -Xfrontend -print-ast-decl @attached(member, names: named(RawValue), named(rawValue), named(`init`), arbitrary) @attached(extension, conformances: OptionSet) public macro OptionSet<RawType>() = #externalMacro(module: "SwiftMacros", type: "OptionSetMacro") @OptionSet<UInt8> struct ShippingOptions { private enum Options: Int { case nextDay case secondDay case priority case standard } static let express: ShippingOptions = [.nextDay, .secondDay] static let all: ShippingOptions = [.express, .priority, .standard] } struct ShippingOptionsWithNoMacro { private enum Options: Int { case nextDay case secondDay case priority case standard } static let express: ShippingOptions = [.nextDay, .secondDay] static let all: ShippingOptions = [.express, .priority, .standard] } @attached(member, names: named(RawValue), named(rawValue), named(`init`), arbitrary) @attached(extension, conformances: OptionSet) public macro OptionSet<RawType>() = #externalMacro(module: "SwiftMacros", type: "OptionSetMacro") internal struct ShippingOptions {
@OptionSetがstdlibに追加されて、その後しれっと削除された様なのですが、SwiftMacro内には存在し続けて配布が続いている様です。これってどういう扱いになってるのでしょう？ @swift-5.9.2 @swift-5.10.1 -Xfrontend -print-ast-decl @attached(member, names: named(RawValue), named(rawValue), named(`init`), arbitrary) @attached(extension, conformances: OptionSet) public macro OptionSet<RawType>() = #externalMacro(module: "SwiftMacros", type: "OptionSetMacro") @OptionSet<UInt8> struct ShippingOptions { private enum Options: Int { case nextDay case secondDay case priority case standard } static let express: ShippingOptions = [.nextDay, .secondDay] static let all: ShippingOptions = [.express, .priority, .standard] } struct ShippingOptionsWithNoMacro { private enum Options: Int { case nextDay case secondDay case priority case standard } static let express: ShippingOptions = [.nextDay, .secondDay] static let all: ShippingOptions = [.express, .priority, .standard] } @attached(member, names: named(RawValue), named(rawValue), named(`init`), arbitrary) @attached(extension, conformances: OptionSet) public macro OptionSet<RawType>() = #externalMacro(module: "SwiftMacros", type: "OptionSetMacro") internal struct ShippingOptions {If the feature is merged but doesn’t seem to be making progress, it may be removed. For what it’s worth, that has happened to work by Apple engineers.
https://forums.swift.org/t/pitch-optionset-macro/63547/167 Embedded buildには残っているですかね？ https://github.com/apple/swift/pull/69197 
If the feature is merged but doesn’t seem to be making progress, it may be removed. For what it’s worth, that has happened to work by Apple engineers.
https://forums.swift.org/t/pitch-optionset-macro/63547/167 Embedded buildには残っているですかね？ https://github.com/apple/swift/pull/69197
1
When a call passes an argument to a transferring parameter, the caller cannot use the argument value again after the callee returns.
https://github.com/apple/swift-evolution/blob/main/proposals/0430-transferring-parameters-and-results.md#ownership-convention-for-transferring-parameters 
1
XCTestCase.setUp は async throws 版が使えませんか？ https://developer.apple.com/documentation/xctest/xctest/3856481-setup
XCTestCase.setUp は async throws 版が使えませんか？ https://developer.apple.com/documentation/xctest/xctest/3856481-setup 1 1 
6 3
2
2
This document proposes a path toward an optional “strict” subset of Swift that prohibits any unsafe features. This subset is intended to be used for Swift code bases where memory safety is an absolute requirement, such as security-critical libraries.
https://forums.swift.org/t/prospective-vision-optional-strict-memory-safety-for-swift/75090 Optional.unsafelyUnwrapped は、! と違って、リリースビルドだとチェックも消えるらしい。ので nil の時はメモリ危険らしい。 1 2
Vector<N, T> と Vector<T, N> のどっちがいいかの話と、 略記 [N x T] は面白い 1@Test func `square returns x * x`() { #expect(square(4) == 4 * 4) } case ColorVariant { case `50` case `100` case `200` } let color = Color(hue: .red, variant: .`100`) extension UIImage { static var `10.circle`: UIImage { ... } }
https://forums.swift.org/t/se-0451-raw-identifiers/75602
import `myapp/extensions/widget/common/utils` // if explicit disambiguation is needed: `myapp/extensions/widget/common/utils`.SomeClass こんなこともできるのか 1 3 2 1modifyとreadアクセサのpitchが5年の時を経て出てきましたね。 https://forums.swift.org/t/pitch-modify-and-read-accessors/75627 2
1
Over the last few months, I've asked a bunch of folks to pick some little part of our project and try rewriting it in the different 
@inheritsIsolation はうまくいきそう。 https://github.com/sophiapoirier/swift-evolution/blob/closure-isolation/proposals/nnnn-closure-isolation-control.md
1
1 1
--build-system swiftbuild. 
1
foo 経由ならやりたいことはできるのに、そうしないとできないのはなんか納得できないですよね… class NonSendable { var bool: Bool = .random() } func makeNonSendable() async -> NonSendable { NonSendable() } struct Demo: View { @State private var bool: Bool? nonisolated func foo() async { let ns = await makeNonSendable() Task { @MainActor in bool = ns.bool } } var body: some View { Text("Hello, World!") .task { // NG let ns = await makeNonSendable() bool = ns.bool } .task { // OK await foo() } } } ↑のコード、結局 foo の中でも ns がアクター隔離超えて .bool 渡してるじゃん…？ 1
1 1 1
3
1 2 3 2
